[next] [prev] [prev-tail] [tail] [up]

2.2.2 Integrals 101 to 200

Detailed conclusion table per each integral is given by table below. The elapsed time is in seconds. For failed result it is given as F(-1) if the failure was due to timeout. It is given as F(-2) if the failure was due to an exception being raised, which could indicate a bug in the system. If the failure was due to integral not being evaluated within the time limit, then it is given just an F.

In this table,the column N.S. in the table below, which stands for normalized size is defined as \(\frac {\text {antiderivative leaf size}}{\text {optimal antiderivative leaf size}}\). To help make the table fit, Mathematica was abbreviated to MMA.

Problem 101

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A B A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

129 129 111 116 292 70 0 113 106

N.S.

1 1.00 0.86 0.90 2.26 0.54 0.00 0.88 0.82

time (sec)

N/A 0.217 1.147 0.148 0.505 2.995 0.000 0.509 3.669

Problem 102

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A B A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

108 108 173 100 227 83 0 101 98

N.S.

1 1.00 1.60 0.93 2.10 0.77 0.00 0.94 0.91

time (sec)

N/A 0.230 0.477 0.145 0.488 3.092 0.000 0.524 2.659

Problem 103

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

97 97 177 87 164 99 0 96 115

N.S.

1 1.00 1.82 0.90 1.69 1.02 0.00 0.99 1.19

time (sec)

N/A 0.224 0.291 0.120 0.476 2.776 0.000 0.496 1.057

Problem 104

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

89 89 137 60 90 95 0 73 84

N.S.

1 1.00 1.54 0.67 1.01 1.07 0.00 0.82 0.94

time (sec)

N/A 0.262 0.398 0.103 0.276 3.692 0.000 0.529 1.009

Problem 105

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

103 103 175 60 92 146 0 73 105

N.S.

1 1.00 1.70 0.58 0.89 1.42 0.00 0.71 1.02

time (sec)

N/A 0.263 0.493 0.125 0.278 3.137 0.000 0.528 1.112

Problem 106

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

127 127 223 112 174 191 0 134 201

N.S.

1 1.00 1.76 0.88 1.37 1.50 0.00 1.06 1.58

time (sec)

N/A 0.287 0.810 0.134 0.269 3.453 0.000 0.577 1.435

Problem 107

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F(-1) A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

145 145 265 138 214 214 0 163 249

N.S.

1 1.00 1.83 0.95 1.48 1.48 0.00 1.12 1.72

time (sec)

N/A 0.296 1.154 0.136 0.279 3.881 0.000 0.525 2.128

Problem 108

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F C F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

157 157 106 210 0 228 0 0 -1

N.S.

1 1.00 0.68 1.34 0.00 1.45 0.00 0.00 -0.01

time (sec)

N/A 0.151 0.206 0.216 0.000 1.433 0.000 0.000 0.000

Problem 109

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F C F(-2) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

154 154 170 154 0 221 0 0 -1

N.S.

1 1.00 1.10 1.00 0.00 1.44 0.00 0.00 -0.01

time (sec)

N/A 0.137 0.383 0.200 0.000 10.856 0.000 0.000 0.000

Problem 110

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F C F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

104 104 69 142 0 200 0 0 -1

N.S.

1 1.00 0.66 1.37 0.00 1.92 0.00 0.00 -0.01

time (sec)

N/A 0.111 0.076 0.179 0.000 1.929 0.000 0.000 0.000

Problem 111

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F C F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

103 103 193 117 0 144 0 0 -1

N.S.

1 1.00 1.87 1.14 0.00 1.40 0.00 0.00 -0.01

time (sec)

N/A 0.114 1.972 0.174 0.000 4.056 0.000 0.000 0.000

Problem 112

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F C F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

155 155 143 201 0 202 0 0 -1

N.S.

1 1.00 0.92 1.30 0.00 1.30 0.00 0.00 -0.01

time (sec)

N/A 0.143 0.259 0.183 0.000 1.412 0.000 0.000 0.000

Problem 113

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F C F(-2) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

160 160 120 164 0 219 0 0 -1

N.S.

1 1.00 0.75 1.02 0.00 1.37 0.00 0.00 -0.01

time (sec)

N/A 0.142 0.238 0.204 0.000 4.330 0.000 0.000 0.000

Problem 114

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F C F(-1) F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

194 194 248 265 0 287 0 0 -1

N.S.

1 1.00 1.28 1.37 0.00 1.48 0.00 0.00 -0.01

time (sec)

N/A 0.266 21.942 0.296 0.000 1.928 0.000 0.000 0.000

Problem 115

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F C F(-2) F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

192 192 220 201 0 279 0 0 -1

N.S.

1 1.00 1.15 1.05 0.00 1.45 0.00 0.00 -0.01

time (sec)

N/A 0.258 30.399 0.225 0.000 9.159 0.000 0.000 0.000

Problem 116

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F C F F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

138 138 206 219 0 255 0 0 -1

N.S.

1 1.00 1.49 1.59 0.00 1.85 0.00 0.00 -0.01

time (sec)

N/A 0.219 11.601 0.243 0.000 1.475 0.000 0.000 0.000

Problem 117

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F C F F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

139 139 179 163 0 197 0 0 -1

N.S.

1 1.00 1.29 1.17 0.00 1.42 0.00 0.00 -0.01

time (sec)

N/A 0.218 72.923 0.201 0.000 2.942 0.000 0.000 0.000

Problem 118

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F(-1) C F F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

224 224 260 238 0 262 0 0 -1

N.S.

1 1.00 1.16 1.06 0.00 1.17 0.00 0.00 -0.00

time (sec)

N/A 0.290 17.675 0.244 0.000 1.370 0.000 0.000 0.000

Problem 119

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F(-1) C F(-2) F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

234 234 241 301 0 291 0 0 -1

N.S.

1 1.00 1.03 1.29 0.00 1.24 0.00 0.00 -0.00

time (sec)

N/A 0.291 40.434 0.283 0.000 3.654 0.000 0.000 0.000

Problem 120

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F C F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

139 139 122 128 0 114 0 0 -1

N.S.

1 1.00 0.88 0.92 0.00 0.82 0.00 0.00 -0.01

time (sec)

N/A 0.187 0.467 0.187 0.000 0.949 0.000 0.000 0.000

Problem 121

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A F C F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

104 104 232 173 0 95 0 0 -1

N.S.

1 1.00 2.23 1.66 0.00 0.91 0.00 0.00 -0.01

time (sec)

N/A 0.156 3.144 0.309 0.000 0.959 0.000 0.000 0.000

Problem 122

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F C F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

102 102 69 112 0 86 0 0 -1

N.S.

1 1.00 0.68 1.10 0.00 0.84 0.00 0.00 -0.01

time (sec)

N/A 0.154 13.520 0.183 0.000 0.823 0.000 0.000 0.000

Problem 123

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A F C F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

95 95 249 148 0 121 0 0 -1

N.S.

1 1.00 2.62 1.56 0.00 1.27 0.00 0.00 -0.01

time (sec)

N/A 0.147 0.419 0.171 0.000 1.278 0.000 0.000 0.000

Problem 124

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F C F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

101 101 77 121 0 104 0 0 -1

N.S.

1 1.00 0.76 1.20 0.00 1.03 0.00 0.00 -0.01

time (sec)

N/A 0.157 0.365 0.175 0.000 0.688 0.000 0.000 0.000

Problem 125

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A F(-1) C F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

135 135 124 187 0 155 0 0 -1

N.S.

1 1.00 0.92 1.39 0.00 1.15 0.00 0.00 -0.01

time (sec)

N/A 0.179 0.749 0.203 0.000 0.619 0.000 0.000 0.000

Problem 126

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F(-1) C F(-2) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

135 135 91 136 0 205 0 0 -1

N.S.

1 1.00 0.67 1.01 0.00 1.52 0.00 0.00 -0.01

time (sec)

N/A 0.180 0.848 0.188 0.000 0.788 0.000 0.000 0.000

Problem 127

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F C F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

162 162 94 145 0 113 0 0 -1

N.S.

1 1.00 0.58 0.90 0.00 0.70 0.00 0.00 -0.01

time (sec)

N/A 0.380 1.035 0.230 0.000 0.916 0.000 0.000 0.000

Problem 128

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A F C F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

187 187 249 173 0 152 0 0 -1

N.S.

1 1.00 1.33 0.93 0.00 0.81 0.00 0.00 -0.01

time (sec)

N/A 0.415 1.956 0.222 0.000 1.118 0.000 0.000 0.000

Problem 129

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F C F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

189 189 119 153 0 141 0 0 -1

N.S.

1 1.00 0.63 0.81 0.00 0.75 0.00 0.00 -0.01

time (sec)

N/A 0.417 1.237 0.225 0.000 0.794 0.000 0.000 0.000

Problem 130

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A F C F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

188 188 222 205 0 184 0 0 -1

N.S.

1 1.00 1.18 1.09 0.00 0.98 0.00 0.00 -0.01

time (sec)

N/A 0.405 0.905 0.238 0.000 0.717 0.000 0.000 0.000

Problem 131

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F(-1) C F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

190 190 82 148 0 162 0 0 -1

N.S.

1 1.00 0.43 0.78 0.00 0.85 0.00 0.00 -0.01

time (sec)

N/A 0.429 0.938 0.217 0.000 0.967 0.000 0.000 0.000

Problem 132

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A F(-1) C F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

224 224 163 213 0 213 0 0 -1

N.S.

1 1.00 0.73 0.95 0.00 0.95 0.00 0.00 -0.00

time (sec)

N/A 0.462 0.956 0.237 0.000 1.081 0.000 0.000 0.000

Problem 133

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F(-1) C F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

224 224 113 160 0 226 0 0 -1

N.S.

1 1.00 0.50 0.71 0.00 1.01 0.00 0.00 -0.00

time (sec)

N/A 0.457 0.654 0.257 0.000 0.744 0.000 0.000 0.000

Problem 134

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C F F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

247 247 287 0 0 0 0 0 -1

N.S.

1 1.00 1.16 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.249 4.447 0.149 0.000 0.000 0.000 0.000 0.000

Problem 135

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C F F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

195 195 230 0 0 0 0 0 -1

N.S.

1 1.00 1.18 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.202 2.676 0.236 0.000 0.000 0.000 0.000 0.000

Problem 136

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

119 119 97 0 0 0 0 0 -1

N.S.

1 1.00 0.82 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.102 0.100 0.109 0.000 0.000 0.000 0.000 0.000

Problem 137

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A F F F F F F F

verified

N/A Yes N/A TBD TBD TBD TBD TBD TBD

size

100 100 0 0 0 0 0 0 -1

N.S.

1 1.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.153 19.793 0.076 0.000 0.000 0.000 0.000 0.000

Problem 138

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C F F F F F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

207 207 2272 0 0 0 0 0 -1

N.S.

1 1.00 10.98 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.379 17.277 0.105 0.000 0.000 0.000 0.000 0.000

Problem 139

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A F F F F F F F

verified

N/A Yes N/A TBD TBD TBD TBD TBD TBD

size

236 236 0 0 0 0 0 0 -1

N.S.

1 1.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.450 6.409 0.112 0.000 0.000 0.000 0.000 0.000

Problem 140

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B F F F F(-2) F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

106 106 1243 0 0 0 0 0 -1

N.S.

1 1.00 11.73 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.245 8.429 0.106 0.000 0.000 0.000 0.000 0.000

Problem 141

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B F F F F F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

107 107 433 0 0 0 0 0 -1

N.S.

1 1.00 4.05 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.210 1.910 0.102 0.000 0.000 0.000 0.000 0.000

Problem 142

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B F F F F F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

115 115 277 0 0 0 0 0 -1

N.S.

1 1.00 2.41 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.224 1.373 0.099 0.000 0.000 0.000 0.000 0.000

Problem 143

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B F F F F F(-2) F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

120 120 484 0 0 0 0 0 -1

N.S.

1 1.00 4.03 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.262 1.953 0.092 0.000 0.000 0.000 0.000 0.000

Problem 144

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B F F F F F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

130 130 276 0 0 0 0 0 -1

N.S.

1 1.00 2.12 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.196 1.321 0.100 0.000 0.000 0.000 0.000 0.000

Problem 145

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F(-2) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

180 180 113 0 0 0 0 0 -1

N.S.

1 1.00 0.63 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.124 0.990 0.319 0.000 0.000 0.000 0.000 0.000

Problem 146

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F(-2) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

123 123 84 0 0 0 0 0 -1

N.S.

1 1.00 0.68 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.081 0.345 0.288 0.000 0.000 0.000 0.000 0.000

Problem 147

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F(-1) F(-2) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

83 83 67 0 0 0 0 0 -1

N.S.

1 1.00 0.81 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.055 0.101 0.282 0.000 0.000 0.000 0.000 0.000

Problem 148

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

42 42 42 0 0 0 0 0 64

N.S.

1 1.00 1.00 0.00 0.00 0.00 0.00 0.00 1.52

time (sec)

N/A 0.029 0.028 0.036 0.000 0.000 0.000 0.000 1.182

Problem 149

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B F F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

40 40 92 0 0 0 0 0 -1

N.S.

1 1.00 2.30 0.00 0.00 0.00 0.00 0.00 -0.02

time (sec)

N/A 0.037 0.417 0.091 0.000 0.000 0.000 0.000 0.000

Problem 150

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

112 112 179 0 0 0 0 0 -1

N.S.

1 1.00 1.60 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.072 1.429 0.095 0.000 0.000 0.000 0.000 0.000

Problem 151

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B F F F F(-2) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

240 240 492 0 0 0 0 0 -1

N.S.

1 1.00 2.05 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.165 4.168 0.101 0.000 0.000 0.000 0.000 0.000

Problem 152

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C F F F F(-1) F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

230 230 7069 0 0 0 0 0 -1

N.S.

1 1.00 30.73 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.471 20.636 0.323 0.000 0.000 0.000 0.000 0.000

Problem 153

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C F F F F F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

95 95 4297 0 0 0 0 0 -1

N.S.

1 1.00 45.23 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.242 15.298 0.253 0.000 0.000 0.000 0.000 0.000

Problem 154

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

98 98 142 0 0 0 0 0 -1

N.S.

1 1.00 1.45 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.098 0.803 0.092 0.000 0.000 0.000 0.000 0.000

Problem 155

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F(-1) F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

349 349 350 0 0 0 0 0 -1

N.S.

1 1.00 1.00 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.390 4.257 0.095 0.000 0.000 0.000 0.000 0.000

Problem 156

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B F F F F(-2) F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

105 105 382 0 0 0 0 0 -1

N.S.

1 1.00 3.64 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.168 11.204 0.092 0.000 0.000 0.000 0.000 0.000

Problem 157

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B F F F F F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

105 105 214 0 0 0 0 0 -1

N.S.

1 1.00 2.04 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.159 1.976 0.088 0.000 0.000 0.000 0.000 0.000

Problem 158

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B F F F F F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

105 105 212 0 0 0 0 0 -1

N.S.

1 1.00 2.02 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.162 2.116 0.082 0.000 0.000 0.000 0.000 0.000

Problem 159

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B F F F F F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

105 105 212 0 0 0 0 0 -1

N.S.

1 1.00 2.02 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.182 2.566 0.085 0.000 0.000 0.000 0.000 0.000

Problem 160

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F(-1) B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

119 119 115 87 91 93 0 317 89

N.S.

1 1.00 0.97 0.73 0.76 0.78 0.00 2.66 0.75

time (sec)

N/A 0.076 0.096 0.122 0.271 3.233 0.000 0.464 0.934

Problem 161

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

87 87 83 67 69 71 0 248 67

N.S.

1 1.00 0.95 0.77 0.79 0.82 0.00 2.85 0.77

time (sec)

N/A 0.069 0.061 0.091 0.267 3.550 0.000 0.486 0.906

Problem 162

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

58 58 57 47 47 49 0 66 45

N.S.

1 1.00 0.98 0.81 0.81 0.84 0.00 1.14 0.78

time (sec)

N/A 0.060 0.035 0.069 0.272 3.660 0.000 0.463 0.057

Problem 163

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

26 26 37 26 23 25 0 32 23

N.S.

1 1.00 1.42 1.00 0.88 0.96 0.00 1.23 0.88

time (sec)

N/A 0.023 0.018 0.050 0.267 4.823 0.000 0.445 0.041

Problem 164

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B A A A F B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

26 26 63 33 45 51 0 61 63

N.S.

1 1.00 2.42 1.27 1.73 1.96 0.00 2.35 2.42

time (sec)

N/A 0.050 0.025 0.074 0.277 3.327 0.000 0.448 0.108

Problem 165

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A B F B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

64 64 114 61 71 123 0 169 76

N.S.

1 1.00 1.78 0.95 1.11 1.92 0.00 2.64 1.19

time (sec)

N/A 0.078 0.323 0.136 0.279 4.530 0.000 0.491 0.097

Problem 166

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A B F B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

100 100 164 83 110 201 0 266 117

N.S.

1 1.00 1.64 0.83 1.10 2.01 0.00 2.66 1.17

time (sec)

N/A 0.090 0.384 0.163 0.270 2.740 0.000 0.477 0.984

Problem 167

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A B F(-1) B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

140 140 216 103 143 284 0 357 148

N.S.

1 1.00 1.54 0.74 1.02 2.03 0.00 2.55 1.06

time (sec)

N/A 0.107 0.400 0.184 0.276 4.097 0.000 0.471 1.021

Problem 168

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

127 127 118 96 106 102 0 228 332

N.S.

1 1.00 0.93 0.76 0.83 0.80 0.00 1.80 2.61

time (sec)

N/A 0.097 0.138 0.104 0.270 4.981 0.000 0.449 2.169

Problem 169

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

89 89 86 76 81 79 0 172 267

N.S.

1 1.00 0.97 0.85 0.91 0.89 0.00 1.93 3.00

time (sec)

N/A 0.086 0.104 0.079 0.261 4.730 0.000 0.454 1.884

Problem 170

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

51 51 54 55 59 55 0 114 83

N.S.

1 1.00 1.06 1.08 1.16 1.08 0.00 2.24 1.63

time (sec)

N/A 0.064 0.045 0.072 0.270 3.127 0.000 0.477 1.094

Problem 171

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A A A F B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

37 37 41 42 50 63 0 77 60

N.S.

1 1.00 1.11 1.14 1.35 1.70 0.00 2.08 1.62

time (sec)

N/A 0.072 0.022 0.062 0.282 2.903 0.000 0.437 1.022

Problem 172

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A A A F B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

69 69 69 63 76 125 0 133 101

N.S.

1 1.00 1.00 0.91 1.10 1.81 0.00 1.93 1.46

time (sec)

N/A 0.077 0.021 0.087 0.261 3.794 0.000 0.466 0.999

Problem 173

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A A A F B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

101 101 91 83 96 174 0 194 142

N.S.

1 1.00 0.90 0.82 0.95 1.72 0.00 1.92 1.41

time (sec)

N/A 0.084 0.021 0.109 0.270 3.432 0.000 0.461 1.094

Problem 174

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

124 124 112 120 105 125 0 418 104

N.S.

1 1.00 0.90 0.97 0.85 1.01 0.00 3.37 0.84

time (sec)

N/A 0.143 0.236 0.114 0.264 3.046 0.000 0.510 0.951

Problem 175

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

80 80 72 90 71 92 0 100 69

N.S.

1 1.00 0.90 1.12 0.89 1.15 0.00 1.25 0.86

time (sec)

N/A 0.106 0.121 0.089 0.274 2.821 0.000 0.518 0.915

Problem 176

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

42 42 37 40 40 50 0 50 40

N.S.

1 1.00 0.88 0.95 0.95 1.19 0.00 1.19 0.95

time (sec)

N/A 0.058 0.039 0.047 0.281 2.919 0.000 0.465 0.052

Problem 177

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

74 74 91 66 73 97 0 124 62

N.S.

1 1.00 1.23 0.89 0.99 1.31 0.00 1.68 0.84

time (sec)

N/A 0.133 0.103 0.088 0.265 3.250 0.000 0.487 0.966

Problem 178

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B A A A F B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

114 114 329 116 119 205 0 314 120

N.S.

1 1.00 2.89 1.02 1.04 1.80 0.00 2.75 1.05

time (sec)

N/A 0.211 0.409 0.120 0.265 3.058 0.000 0.509 0.121

Problem 179

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F(-1) B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

175 175 193 163 173 176 0 379 231

N.S.

1 1.00 1.10 0.93 0.99 1.01 0.00 2.17 1.32

time (sec)

N/A 0.342 1.085 0.125 0.496 4.022 0.000 0.499 3.102

Problem 180

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

178 178 157 133 125 142 0 285 207

N.S.

1 1.00 0.88 0.75 0.70 0.80 0.00 1.60 1.16

time (sec)

N/A 0.390 0.682 0.112 0.487 2.877 0.000 0.495 1.227

Problem 181

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

77 77 121 77 80 108 0 159 143

N.S.

1 1.00 1.57 1.00 1.04 1.40 0.00 2.06 1.86

time (sec)

N/A 0.094 0.399 0.086 0.486 2.886 0.000 0.525 1.168

Problem 182

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B A A A F B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

59 59 138 76 73 104 0 167 108

N.S.

1 1.00 2.34 1.29 1.24 1.76 0.00 2.83 1.83

time (sec)

N/A 0.298 0.323 0.071 0.263 3.592 0.000 0.512 1.071

Problem 183

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B A A A F B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

100 100 259 116 112 178 0 226 182

N.S.

1 1.00 2.59 1.16 1.12 1.78 0.00 2.26 1.82

time (sec)

N/A 0.226 0.421 0.096 0.278 3.289 0.000 0.527 1.102

Problem 184

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B A A A F(-1) B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

143 143 368 154 143 241 0 326 248

N.S.

1 1.00 2.57 1.08 1.00 1.69 0.00 2.28 1.73

time (sec)

N/A 0.289 0.474 0.122 0.270 3.899 0.000 0.542 1.045

Problem 185

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F(-1) B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

170 170 154 174 142 175 0 695 143

N.S.

1 1.00 0.91 1.02 0.84 1.03 0.00 4.09 0.84

time (sec)

N/A 0.185 0.409 0.142 0.292 3.220 0.000 0.603 0.965

Problem 186

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

116 116 102 116 98 123 0 128 99

N.S.

1 1.00 0.88 1.00 0.84 1.06 0.00 1.10 0.85

time (sec)

N/A 0.093 0.216 0.110 0.269 3.734 0.000 0.536 0.072

Problem 187

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

64 64 56 57 57 67 0 66 57

N.S.

1 1.00 0.88 0.89 0.89 1.05 0.00 1.03 0.89

time (sec)

N/A 0.071 0.076 0.065 0.263 4.679 0.000 0.502 0.925

Problem 188

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

102 102 89 92 112 139 0 250 85

N.S.

1 1.00 0.87 0.90 1.10 1.36 0.00 2.45 0.83

time (sec)

N/A 0.155 0.196 0.102 0.266 7.581 0.000 0.518 0.130

Problem 189

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

162 162 260 162 171 290 0 482 159

N.S.

1 1.00 1.60 1.00 1.06 1.79 0.00 2.98 0.98

time (sec)

N/A 0.251 4.695 0.142 0.266 4.671 0.000 0.536 1.008

Problem 190

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B A A A F(-2) B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

299 299 818 234 242 241 0 563 373

N.S.

1 1.00 2.74 0.78 0.81 0.81 0.00 1.88 1.25

time (sec)

N/A 0.253 6.179 0.162 0.488 4.576 0.000 0.573 1.685

Problem 191

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B A A A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

236 236 696 194 183 196 0 431 281

N.S.

1 1.00 2.95 0.82 0.78 0.83 0.00 1.83 1.19

time (sec)

N/A 0.515 6.112 0.125 0.487 3.258 0.000 0.588 1.472

Problem 192

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B A A A F B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

138 138 327 128 129 151 0 346 202

N.S.

1 1.00 2.37 0.93 0.93 1.09 0.00 2.51 1.46

time (sec)

N/A 0.347 0.576 0.098 0.488 3.899 0.000 0.520 1.269

Problem 193

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B A A A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

133 133 406 129 139 151 0 225 181

N.S.

1 1.00 3.05 0.97 1.05 1.14 0.00 1.69 1.36

time (sec)

N/A 0.196 0.443 0.092 0.268 4.846 0.000 0.515 1.466

Problem 194

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B A A A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

205 205 610 187 190 260 0 361 260

N.S.

1 1.00 2.98 0.91 0.93 1.27 0.00 1.76 1.27

time (sec)

N/A 0.206 0.603 0.138 0.273 3.407 0.000 0.542 1.165

Problem 195

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B A A A F(-2) A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

279 279 812 243 230 354 0 498 363

N.S.

1 1.00 2.91 0.87 0.82 1.27 0.00 1.78 1.30

time (sec)

N/A 0.223 0.929 0.149 0.278 4.153 0.000 0.554 1.222

Problem 196

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F(-1) B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

223 223 282 275 224 222 0 1559 249

N.S.

1 1.00 1.26 1.23 1.00 1.00 0.00 6.99 1.12

time (sec)

N/A 0.183 0.956 0.199 0.262 3.498 0.000 0.492 0.155

Problem 197

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F(-1) B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

152 152 172 160 141 140 0 867 151

N.S.

1 1.00 1.13 1.05 0.93 0.92 0.00 5.70 0.99

time (sec)

N/A 0.143 0.256 0.133 0.269 2.575 0.000 0.518 0.091

Problem 198

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F(-1) A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

89 89 89 82 80 78 0 102 79

N.S.

1 1.00 1.00 0.92 0.90 0.88 0.00 1.15 0.89

time (sec)

N/A 0.108 0.112 0.102 0.271 2.407 0.000 0.476 1.023

Problem 199

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

34 34 30 48 33 31 0 38 30

N.S.

1 1.00 0.88 1.41 0.97 0.91 0.00 1.12 0.88

time (sec)

N/A 0.055 0.015 0.046 0.272 2.109 0.000 0.501 0.058

Problem 200

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

74 74 63 70 64 64 0 100 68

N.S.

1 1.00 0.85 0.95 0.86 0.86 0.00 1.35 0.92

time (sec)

N/A 0.074 0.067 0.095 0.282 2.759 0.000 0.476 1.147

[next] [prev] [prev-tail] [front] [up]